KALA: Helping the application programmer make sense of advanced transactions
نویسندگان
چکیده
From July 6th to July 11th, 2008, the Dagstuhl Seminar 08281 Software Engineering for Tailor-made Data Management was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Aspect-Oriented Domain Specific Languages for Advanced Transaction Management
Transaction management has some known drawbacks, which have been researched in the past, and many solutions in the form of advanced transaction models have been proposed. However, these models are too difficult to be used by the application programmer because of their complexity and their lack of separation of concerns. In this paper we address this by letting the application programmer specify...
متن کاملData-Race Detection in Transactions- Everywhere Parallel Programming
This thesis studies how to perform dynamic data-race detection in programs using “transactions everywhere”, a new methodology for shared-memory parallel programming. Since the conventional definition of a data race does not make sense in the transactions-everywhere methodology, this thesis develops a new definition based on a weak assumption about the correctness of the target program’s paralle...
متن کاملLife beyond Distributed Transactions: an Apostate's Opinion
Many decades of work have been invested in the area of distributed transactions including protocols such as 2PC, Paxos, and various approaches to quorum. These protocols provide the application programmer a façade of global serializability. Personally, I have invested a nontrivial portion of my career as a strong advocate for the implementation and use of platforms providing guarantees of globa...
متن کاملFactors related to Helping Behavior (Case Study: Guilan Welfare Organization)
Abstract Introduction: The aim of this study was to identify the factors affecting the reduction of citizens' helping behavior with the welfare organization. Method: This study was performed by descriptive method and ex-post facto design. Data were collected from 408 citizens 20 years and older in Guilan province. Samples were selected using multistage cluster sampling method. Measur...
متن کاملA Unified Approach to Distributed Concurrency Control
A unified model for distributed concurrency control is presented, which enables the system to utilise the semantics of an application. We assume that concurrent accesses to data are made by transactions and that data objects are instances of abstract types. The semantics of an application is given to the system by the application programmer using a specification language. In this way any change...
متن کامل